Menu

Filtros : "Dias, Diogo H. B." Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Artigo de periodico

    Paraconsistentization and many-valued logics (2022)

    Souza, Edelcio G. de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Source: ArXiv. Unidade: FFLCH

    Assunto: LÓGICA PARACONSISTENTE

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio G. de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization and many-valued logics. ArXiv, v. n. 2004.148812, p. 1-22, 2022Tradução . . Disponível em: https://doi.org/10.48550/arXiv.2004.14881. Acesso em: 01 maio 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2022). Paraconsistentization and many-valued logics. ArXiv, n. 2004.148812, 1-22. doi:10.48550/arXiv.2004.14881

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization and many-valued logics [Internet]. ArXiv. 2022 ;n. 2004.148812 1-22.[citado 2024 maio 01 ] Available from: https://doi.org/10.48550/arXiv.2004.14881

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization and many-valued logics [Internet]. ArXiv. 2022 ;n. 2004.148812 1-22.[citado 2024 maio 01 ] Available from: https://doi.org/10.48550/arXiv.2004.14881

  • Artigo de periodico

    Paraconsistent Orbits of Logics (2021)

    Souza, Edelcio G. de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Source: Logica Universalis. Unidade: FFLCH

    Subjects: LÓGICA PARACONSISTENTE, LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio G. de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistent Orbits of Logics. Logica Universalis, v. 15, p. 271–289, 2021Tradução . . Disponível em: https://doi.org/10.1007/s11787-021-00284-3. Acesso em: 01 maio 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2021). Paraconsistent Orbits of Logics. Logica Universalis, 15, 271–289. doi:10.1007/s11787-021-00284-3

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistent Orbits of Logics [Internet]. Logica Universalis. 2021 ; 15 271–289.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/s11787-021-00284-3

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistent Orbits of Logics [Internet]. Logica Universalis. 2021 ; 15 271–289.[citado 2024 maio 01 ] Available from: https://doi.org/10.1007/s11787-021-00284-3

  • Trabalho de evento-resumo

    Paraconsistentization of logics via category theory (2016)

    Souza, Edelcio Gonçalves de; Costa-Leite, Alexandre; Dias, Diogo H. B.

    Source: Book of Abstracts. Conference titles: Trends in Logic. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization of logics via category theory. 2016, Anais.. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016. . Acesso em: 01 maio 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). Paraconsistentization of logics via category theory. In Book of Abstracts. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP.

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 maio 01 ]

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 maio 01 ]

  • Artigo de periodico

    On a paraconsistentization functor in the category of consequence structures (2016)

    Souza, Edelcio Gonçalves de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Source: Journal of Applied Non-Classical Logics. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, n. 3, p. 240-250, 2016Tradução . . Disponível em: https://doi.org/10.1080/11663081.2016.1225487. Acesso em: 01 maio 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26( 3), 240-250. doi:10.1080/11663081.2016.1225487

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 maio 01 ] Available from: https://doi.org/10.1080/11663081.2016.1225487

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 maio 01 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
  • 1

1 - 4 (4 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024